3.210 \(\int \text{csch}(c+d x) (a+b \sinh ^4(c+d x))^3 \, dx\)

Optimal. Leaf size=158 \[ \frac{b \left (3 a^2+9 a b+5 b^2\right ) \cosh ^3(c+d x)}{3 d}-\frac{b \left (3 a^2+3 a b+b^2\right ) \cosh (c+d x)}{d}-\frac{a^3 \tanh ^{-1}(\cosh (c+d x))}{d}+\frac{b^2 (3 a+10 b) \cosh ^7(c+d x)}{7 d}-\frac{b^2 (9 a+10 b) \cosh ^5(c+d x)}{5 d}+\frac{b^3 \cosh ^{11}(c+d x)}{11 d}-\frac{5 b^3 \cosh ^9(c+d x)}{9 d} \]

[Out]

-((a^3*ArcTanh[Cosh[c + d*x]])/d) - (b*(3*a^2 + 3*a*b + b^2)*Cosh[c + d*x])/d + (b*(3*a^2 + 9*a*b + 5*b^2)*Cos
h[c + d*x]^3)/(3*d) - (b^2*(9*a + 10*b)*Cosh[c + d*x]^5)/(5*d) + (b^2*(3*a + 10*b)*Cosh[c + d*x]^7)/(7*d) - (5
*b^3*Cosh[c + d*x]^9)/(9*d) + (b^3*Cosh[c + d*x]^11)/(11*d)

________________________________________________________________________________________

Rubi [A]  time = 0.135437, antiderivative size = 158, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 3, integrand size = 21, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.143, Rules used = {3215, 1153, 206} \[ \frac{b \left (3 a^2+9 a b+5 b^2\right ) \cosh ^3(c+d x)}{3 d}-\frac{b \left (3 a^2+3 a b+b^2\right ) \cosh (c+d x)}{d}-\frac{a^3 \tanh ^{-1}(\cosh (c+d x))}{d}+\frac{b^2 (3 a+10 b) \cosh ^7(c+d x)}{7 d}-\frac{b^2 (9 a+10 b) \cosh ^5(c+d x)}{5 d}+\frac{b^3 \cosh ^{11}(c+d x)}{11 d}-\frac{5 b^3 \cosh ^9(c+d x)}{9 d} \]

Antiderivative was successfully verified.

[In]

Int[Csch[c + d*x]*(a + b*Sinh[c + d*x]^4)^3,x]

[Out]

-((a^3*ArcTanh[Cosh[c + d*x]])/d) - (b*(3*a^2 + 3*a*b + b^2)*Cosh[c + d*x])/d + (b*(3*a^2 + 9*a*b + 5*b^2)*Cos
h[c + d*x]^3)/(3*d) - (b^2*(9*a + 10*b)*Cosh[c + d*x]^5)/(5*d) + (b^2*(3*a + 10*b)*Cosh[c + d*x]^7)/(7*d) - (5
*b^3*Cosh[c + d*x]^9)/(9*d) + (b^3*Cosh[c + d*x]^11)/(11*d)

Rule 3215

Int[sin[(e_.) + (f_.)*(x_)]^(m_.)*((a_) + (b_.)*sin[(e_.) + (f_.)*(x_)]^4)^(p_.), x_Symbol] :> With[{ff = Free
Factors[Cos[e + f*x], x]}, -Dist[ff/f, Subst[Int[(1 - ff^2*x^2)^((m - 1)/2)*(a + b - 2*b*ff^2*x^2 + b*ff^4*x^4
)^p, x], x, Cos[e + f*x]/ff], x]] /; FreeQ[{a, b, e, f, p}, x] && IntegerQ[(m - 1)/2]

Rule 1153

Int[((d_) + (e_.)*(x_)^2)^(q_.)*((a_) + (b_.)*(x_)^2 + (c_.)*(x_)^4)^(p_.), x_Symbol] :> Int[ExpandIntegrand[(
d + e*x^2)^q*(a + b*x^2 + c*x^4)^p, x], x] /; FreeQ[{a, b, c, d, e}, x] && NeQ[b^2 - 4*a*c, 0] && NeQ[c*d^2 -
b*d*e + a*e^2, 0] && IGtQ[p, 0] && IGtQ[q, -2]

Rule 206

Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(1*ArcTanh[(Rt[-b, 2]*x)/Rt[a, 2]])/(Rt[a, 2]*Rt[-b, 2]), x]
 /; FreeQ[{a, b}, x] && NegQ[a/b] && (GtQ[a, 0] || LtQ[b, 0])

Rubi steps

\begin{align*} \int \text{csch}(c+d x) \left (a+b \sinh ^4(c+d x)\right )^3 \, dx &=-\frac{\operatorname{Subst}\left (\int \frac{\left (a+b-2 b x^2+b x^4\right )^3}{1-x^2} \, dx,x,\cosh (c+d x)\right )}{d}\\ &=-\frac{\operatorname{Subst}\left (\int \left (b \left (3 a^2+3 a b+b^2\right )-b \left (3 a^2+9 a b+5 b^2\right ) x^2+b^2 (9 a+10 b) x^4-b^2 (3 a+10 b) x^6+5 b^3 x^8-b^3 x^{10}+\frac{a^3}{1-x^2}\right ) \, dx,x,\cosh (c+d x)\right )}{d}\\ &=-\frac{b \left (3 a^2+3 a b+b^2\right ) \cosh (c+d x)}{d}+\frac{b \left (3 a^2+9 a b+5 b^2\right ) \cosh ^3(c+d x)}{3 d}-\frac{b^2 (9 a+10 b) \cosh ^5(c+d x)}{5 d}+\frac{b^2 (3 a+10 b) \cosh ^7(c+d x)}{7 d}-\frac{5 b^3 \cosh ^9(c+d x)}{9 d}+\frac{b^3 \cosh ^{11}(c+d x)}{11 d}-\frac{a^3 \operatorname{Subst}\left (\int \frac{1}{1-x^2} \, dx,x,\cosh (c+d x)\right )}{d}\\ &=-\frac{a^3 \tanh ^{-1}(\cosh (c+d x))}{d}-\frac{b \left (3 a^2+3 a b+b^2\right ) \cosh (c+d x)}{d}+\frac{b \left (3 a^2+9 a b+5 b^2\right ) \cosh ^3(c+d x)}{3 d}-\frac{b^2 (9 a+10 b) \cosh ^5(c+d x)}{5 d}+\frac{b^2 (3 a+10 b) \cosh ^7(c+d x)}{7 d}-\frac{5 b^3 \cosh ^9(c+d x)}{9 d}+\frac{b^3 \cosh ^{11}(c+d x)}{11 d}\\ \end{align*}

Mathematica [A]  time = 0.380613, size = 139, normalized size = 0.88 \[ \frac{-20790 b \left (384 a^2+280 a b+77 b^2\right ) \cosh (c+d x)+3548160 a^3 \log \left (\tanh \left (\frac{1}{2} (c+d x)\right )\right )-2079 b^2 (112 a+55 b) \cosh (5 (c+d x))+495 b^2 (48 a+55 b) \cosh (7 (c+d x))+6930 b (8 a+5 b) (16 a+11 b) \cosh (3 (c+d x))-4235 b^3 \cosh (9 (c+d x))+315 b^3 \cosh (11 (c+d x))}{3548160 d} \]

Antiderivative was successfully verified.

[In]

Integrate[Csch[c + d*x]*(a + b*Sinh[c + d*x]^4)^3,x]

[Out]

(-20790*b*(384*a^2 + 280*a*b + 77*b^2)*Cosh[c + d*x] + 6930*b*(8*a + 5*b)*(16*a + 11*b)*Cosh[3*(c + d*x)] - 20
79*b^2*(112*a + 55*b)*Cosh[5*(c + d*x)] + 495*b^2*(48*a + 55*b)*Cosh[7*(c + d*x)] - 4235*b^3*Cosh[9*(c + d*x)]
 + 315*b^3*Cosh[11*(c + d*x)] + 3548160*a^3*Log[Tanh[(c + d*x)/2]])/(3548160*d)

________________________________________________________________________________________

Maple [A]  time = 0.039, size = 148, normalized size = 0.9 \begin{align*}{\frac{1}{d} \left ( -2\,{a}^{3}{\it Artanh} \left ({{\rm e}^{dx+c}} \right ) +3\,{a}^{2}b \left ( -2/3+1/3\, \left ( \sinh \left ( dx+c \right ) \right ) ^{2} \right ) \cosh \left ( dx+c \right ) +3\,a{b}^{2} \left ( -{\frac{16}{35}}+1/7\, \left ( \sinh \left ( dx+c \right ) \right ) ^{6}-{\frac{6\, \left ( \sinh \left ( dx+c \right ) \right ) ^{4}}{35}}+{\frac{8\, \left ( \sinh \left ( dx+c \right ) \right ) ^{2}}{35}} \right ) \cosh \left ( dx+c \right ) +{b}^{3} \left ( -{\frac{256}{693}}+{\frac{ \left ( \sinh \left ( dx+c \right ) \right ) ^{10}}{11}}-{\frac{10\, \left ( \sinh \left ( dx+c \right ) \right ) ^{8}}{99}}+{\frac{80\, \left ( \sinh \left ( dx+c \right ) \right ) ^{6}}{693}}-{\frac{32\, \left ( \sinh \left ( dx+c \right ) \right ) ^{4}}{231}}+{\frac{128\, \left ( \sinh \left ( dx+c \right ) \right ) ^{2}}{693}} \right ) \cosh \left ( dx+c \right ) \right ) } \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(csch(d*x+c)*(a+b*sinh(d*x+c)^4)^3,x)

[Out]

1/d*(-2*a^3*arctanh(exp(d*x+c))+3*a^2*b*(-2/3+1/3*sinh(d*x+c)^2)*cosh(d*x+c)+3*a*b^2*(-16/35+1/7*sinh(d*x+c)^6
-6/35*sinh(d*x+c)^4+8/35*sinh(d*x+c)^2)*cosh(d*x+c)+b^3*(-256/693+1/11*sinh(d*x+c)^10-10/99*sinh(d*x+c)^8+80/6
93*sinh(d*x+c)^6-32/231*sinh(d*x+c)^4+128/693*sinh(d*x+c)^2)*cosh(d*x+c))

________________________________________________________________________________________

Maxima [B]  time = 1.06644, size = 441, normalized size = 2.79 \begin{align*} -\frac{1}{1419264} \, b^{3}{\left (\frac{{\left (847 \, e^{\left (-2 \, d x - 2 \, c\right )} - 5445 \, e^{\left (-4 \, d x - 4 \, c\right )} + 22869 \, e^{\left (-6 \, d x - 6 \, c\right )} - 76230 \, e^{\left (-8 \, d x - 8 \, c\right )} + 320166 \, e^{\left (-10 \, d x - 10 \, c\right )} - 63\right )} e^{\left (11 \, d x + 11 \, c\right )}}{d} + \frac{320166 \, e^{\left (-d x - c\right )} - 76230 \, e^{\left (-3 \, d x - 3 \, c\right )} + 22869 \, e^{\left (-5 \, d x - 5 \, c\right )} - 5445 \, e^{\left (-7 \, d x - 7 \, c\right )} + 847 \, e^{\left (-9 \, d x - 9 \, c\right )} - 63 \, e^{\left (-11 \, d x - 11 \, c\right )}}{d}\right )} - \frac{3}{4480} \, a b^{2}{\left (\frac{{\left (49 \, e^{\left (-2 \, d x - 2 \, c\right )} - 245 \, e^{\left (-4 \, d x - 4 \, c\right )} + 1225 \, e^{\left (-6 \, d x - 6 \, c\right )} - 5\right )} e^{\left (7 \, d x + 7 \, c\right )}}{d} + \frac{1225 \, e^{\left (-d x - c\right )} - 245 \, e^{\left (-3 \, d x - 3 \, c\right )} + 49 \, e^{\left (-5 \, d x - 5 \, c\right )} - 5 \, e^{\left (-7 \, d x - 7 \, c\right )}}{d}\right )} + \frac{1}{8} \, a^{2} b{\left (\frac{e^{\left (3 \, d x + 3 \, c\right )}}{d} - \frac{9 \, e^{\left (d x + c\right )}}{d} - \frac{9 \, e^{\left (-d x - c\right )}}{d} + \frac{e^{\left (-3 \, d x - 3 \, c\right )}}{d}\right )} + \frac{a^{3} \log \left (\tanh \left (\frac{1}{2} \, d x + \frac{1}{2} \, c\right )\right )}{d} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(csch(d*x+c)*(a+b*sinh(d*x+c)^4)^3,x, algorithm="maxima")

[Out]

-1/1419264*b^3*((847*e^(-2*d*x - 2*c) - 5445*e^(-4*d*x - 4*c) + 22869*e^(-6*d*x - 6*c) - 76230*e^(-8*d*x - 8*c
) + 320166*e^(-10*d*x - 10*c) - 63)*e^(11*d*x + 11*c)/d + (320166*e^(-d*x - c) - 76230*e^(-3*d*x - 3*c) + 2286
9*e^(-5*d*x - 5*c) - 5445*e^(-7*d*x - 7*c) + 847*e^(-9*d*x - 9*c) - 63*e^(-11*d*x - 11*c))/d) - 3/4480*a*b^2*(
(49*e^(-2*d*x - 2*c) - 245*e^(-4*d*x - 4*c) + 1225*e^(-6*d*x - 6*c) - 5)*e^(7*d*x + 7*c)/d + (1225*e^(-d*x - c
) - 245*e^(-3*d*x - 3*c) + 49*e^(-5*d*x - 5*c) - 5*e^(-7*d*x - 7*c))/d) + 1/8*a^2*b*(e^(3*d*x + 3*c)/d - 9*e^(
d*x + c)/d - 9*e^(-d*x - c)/d + e^(-3*d*x - 3*c)/d) + a^3*log(tanh(1/2*d*x + 1/2*c))/d

________________________________________________________________________________________

Fricas [B]  time = 2.04014, size = 10637, normalized size = 67.32 \begin{align*} \text{result too large to display} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(csch(d*x+c)*(a+b*sinh(d*x+c)^4)^3,x, algorithm="fricas")

[Out]

1/7096320*(315*b^3*cosh(d*x + c)^22 + 6930*b^3*cosh(d*x + c)*sinh(d*x + c)^21 + 315*b^3*sinh(d*x + c)^22 - 423
5*b^3*cosh(d*x + c)^20 + 385*(189*b^3*cosh(d*x + c)^2 - 11*b^3)*sinh(d*x + c)^20 + 7700*(63*b^3*cosh(d*x + c)^
3 - 11*b^3*cosh(d*x + c))*sinh(d*x + c)^19 + 495*(48*a*b^2 + 55*b^3)*cosh(d*x + c)^18 + 55*(41895*b^3*cosh(d*x
 + c)^4 - 14630*b^3*cosh(d*x + c)^2 + 432*a*b^2 + 495*b^3)*sinh(d*x + c)^18 + 330*(25137*b^3*cosh(d*x + c)^5 -
 14630*b^3*cosh(d*x + c)^3 + 27*(48*a*b^2 + 55*b^3)*cosh(d*x + c))*sinh(d*x + c)^17 - 2079*(112*a*b^2 + 55*b^3
)*cosh(d*x + c)^16 + 33*(712215*b^3*cosh(d*x + c)^6 - 621775*b^3*cosh(d*x + c)^4 - 7056*a*b^2 - 3465*b^3 + 229
5*(48*a*b^2 + 55*b^3)*cosh(d*x + c)^2)*sinh(d*x + c)^16 + 528*(101745*b^3*cosh(d*x + c)^7 - 124355*b^3*cosh(d*
x + c)^5 + 765*(48*a*b^2 + 55*b^3)*cosh(d*x + c)^3 - 63*(112*a*b^2 + 55*b^3)*cosh(d*x + c))*sinh(d*x + c)^15 +
 6930*(128*a^2*b + 168*a*b^2 + 55*b^3)*cosh(d*x + c)^14 + 330*(305235*b^3*cosh(d*x + c)^8 - 497420*b^3*cosh(d*
x + c)^6 + 4590*(48*a*b^2 + 55*b^3)*cosh(d*x + c)^4 + 2688*a^2*b + 3528*a*b^2 + 1155*b^3 - 756*(112*a*b^2 + 55
*b^3)*cosh(d*x + c)^2)*sinh(d*x + c)^14 + 4620*(33915*b^3*cosh(d*x + c)^9 - 71060*b^3*cosh(d*x + c)^7 + 918*(4
8*a*b^2 + 55*b^3)*cosh(d*x + c)^5 - 252*(112*a*b^2 + 55*b^3)*cosh(d*x + c)^3 + 21*(128*a^2*b + 168*a*b^2 + 55*
b^3)*cosh(d*x + c))*sinh(d*x + c)^13 - 20790*(384*a^2*b + 280*a*b^2 + 77*b^3)*cosh(d*x + c)^12 + 2310*(88179*b
^3*cosh(d*x + c)^10 - 230945*b^3*cosh(d*x + c)^8 + 3978*(48*a*b^2 + 55*b^3)*cosh(d*x + c)^6 - 1638*(112*a*b^2
+ 55*b^3)*cosh(d*x + c)^4 - 3456*a^2*b - 2520*a*b^2 - 693*b^3 + 273*(128*a^2*b + 168*a*b^2 + 55*b^3)*cosh(d*x
+ c)^2)*sinh(d*x + c)^12 + 8*(27776385*b^3*cosh(d*x + c)^11 - 88913825*b^3*cosh(d*x + c)^9 + 1969110*(48*a*b^2
 + 55*b^3)*cosh(d*x + c)^7 - 1135134*(112*a*b^2 + 55*b^3)*cosh(d*x + c)^5 + 315315*(128*a^2*b + 168*a*b^2 + 55
*b^3)*cosh(d*x + c)^3 - 31185*(384*a^2*b + 280*a*b^2 + 77*b^3)*cosh(d*x + c))*sinh(d*x + c)^11 - 20790*(384*a^
2*b + 280*a*b^2 + 77*b^3)*cosh(d*x + c)^10 + 22*(9258795*b^3*cosh(d*x + c)^12 - 35565530*b^3*cosh(d*x + c)^10
+ 984555*(48*a*b^2 + 55*b^3)*cosh(d*x + c)^8 - 756756*(112*a*b^2 + 55*b^3)*cosh(d*x + c)^6 + 315315*(128*a^2*b
 + 168*a*b^2 + 55*b^3)*cosh(d*x + c)^4 - 362880*a^2*b - 264600*a*b^2 - 72765*b^3 - 62370*(384*a^2*b + 280*a*b^
2 + 77*b^3)*cosh(d*x + c)^2)*sinh(d*x + c)^10 + 220*(712215*b^3*cosh(d*x + c)^13 - 3233230*b^3*cosh(d*x + c)^1
1 + 109395*(48*a*b^2 + 55*b^3)*cosh(d*x + c)^9 - 108108*(112*a*b^2 + 55*b^3)*cosh(d*x + c)^7 + 63063*(128*a^2*
b + 168*a*b^2 + 55*b^3)*cosh(d*x + c)^5 - 20790*(384*a^2*b + 280*a*b^2 + 77*b^3)*cosh(d*x + c)^3 - 945*(384*a^
2*b + 280*a*b^2 + 77*b^3)*cosh(d*x + c))*sinh(d*x + c)^9 + 6930*(128*a^2*b + 168*a*b^2 + 55*b^3)*cosh(d*x + c)
^8 + 330*(305235*b^3*cosh(d*x + c)^14 - 1616615*b^3*cosh(d*x + c)^12 + 65637*(48*a*b^2 + 55*b^3)*cosh(d*x + c)
^10 - 81081*(112*a*b^2 + 55*b^3)*cosh(d*x + c)^8 + 63063*(128*a^2*b + 168*a*b^2 + 55*b^3)*cosh(d*x + c)^6 - 31
185*(384*a^2*b + 280*a*b^2 + 77*b^3)*cosh(d*x + c)^4 + 2688*a^2*b + 3528*a*b^2 + 1155*b^3 - 2835*(384*a^2*b +
280*a*b^2 + 77*b^3)*cosh(d*x + c)^2)*sinh(d*x + c)^8 + 2640*(20349*b^3*cosh(d*x + c)^15 - 124355*b^3*cosh(d*x
+ c)^13 + 5967*(48*a*b^2 + 55*b^3)*cosh(d*x + c)^11 - 9009*(112*a*b^2 + 55*b^3)*cosh(d*x + c)^9 + 9009*(128*a^
2*b + 168*a*b^2 + 55*b^3)*cosh(d*x + c)^7 - 6237*(384*a^2*b + 280*a*b^2 + 77*b^3)*cosh(d*x + c)^5 - 945*(384*a
^2*b + 280*a*b^2 + 77*b^3)*cosh(d*x + c)^3 + 21*(128*a^2*b + 168*a*b^2 + 55*b^3)*cosh(d*x + c))*sinh(d*x + c)^
7 - 2079*(112*a*b^2 + 55*b^3)*cosh(d*x + c)^6 + 231*(101745*b^3*cosh(d*x + c)^16 - 710600*b^3*cosh(d*x + c)^14
 + 39780*(48*a*b^2 + 55*b^3)*cosh(d*x + c)^12 - 72072*(112*a*b^2 + 55*b^3)*cosh(d*x + c)^10 + 90090*(128*a^2*b
 + 168*a*b^2 + 55*b^3)*cosh(d*x + c)^8 - 83160*(384*a^2*b + 280*a*b^2 + 77*b^3)*cosh(d*x + c)^6 - 18900*(384*a
^2*b + 280*a*b^2 + 77*b^3)*cosh(d*x + c)^4 - 1008*a*b^2 - 495*b^3 + 840*(128*a^2*b + 168*a*b^2 + 55*b^3)*cosh(
d*x + c)^2)*sinh(d*x + c)^6 + 462*(17955*b^3*cosh(d*x + c)^17 - 142120*b^3*cosh(d*x + c)^15 + 9180*(48*a*b^2 +
 55*b^3)*cosh(d*x + c)^13 - 19656*(112*a*b^2 + 55*b^3)*cosh(d*x + c)^11 + 30030*(128*a^2*b + 168*a*b^2 + 55*b^
3)*cosh(d*x + c)^9 - 35640*(384*a^2*b + 280*a*b^2 + 77*b^3)*cosh(d*x + c)^7 - 11340*(384*a^2*b + 280*a*b^2 + 7
7*b^3)*cosh(d*x + c)^5 + 840*(128*a^2*b + 168*a*b^2 + 55*b^3)*cosh(d*x + c)^3 - 27*(112*a*b^2 + 55*b^3)*cosh(d
*x + c))*sinh(d*x + c)^5 - 4235*b^3*cosh(d*x + c)^2 + 495*(48*a*b^2 + 55*b^3)*cosh(d*x + c)^4 + 165*(13965*b^3
*cosh(d*x + c)^18 - 124355*b^3*cosh(d*x + c)^16 + 9180*(48*a*b^2 + 55*b^3)*cosh(d*x + c)^14 - 22932*(112*a*b^2
 + 55*b^3)*cosh(d*x + c)^12 + 42042*(128*a^2*b + 168*a*b^2 + 55*b^3)*cosh(d*x + c)^10 - 62370*(384*a^2*b + 280
*a*b^2 + 77*b^3)*cosh(d*x + c)^8 - 26460*(384*a^2*b + 280*a*b^2 + 77*b^3)*cosh(d*x + c)^6 + 2940*(128*a^2*b +
168*a*b^2 + 55*b^3)*cosh(d*x + c)^4 + 144*a*b^2 + 165*b^3 - 189*(112*a*b^2 + 55*b^3)*cosh(d*x + c)^2)*sinh(d*x
 + c)^4 + 660*(735*b^3*cosh(d*x + c)^19 - 7315*b^3*cosh(d*x + c)^17 + 612*(48*a*b^2 + 55*b^3)*cosh(d*x + c)^15
 - 1764*(112*a*b^2 + 55*b^3)*cosh(d*x + c)^13 + 3822*(128*a^2*b + 168*a*b^2 + 55*b^3)*cosh(d*x + c)^11 - 6930*
(384*a^2*b + 280*a*b^2 + 77*b^3)*cosh(d*x + c)^9 - 3780*(384*a^2*b + 280*a*b^2 + 77*b^3)*cosh(d*x + c)^7 + 588
*(128*a^2*b + 168*a*b^2 + 55*b^3)*cosh(d*x + c)^5 - 63*(112*a*b^2 + 55*b^3)*cosh(d*x + c)^3 + 3*(48*a*b^2 + 55
*b^3)*cosh(d*x + c))*sinh(d*x + c)^3 + 315*b^3 + 55*(1323*b^3*cosh(d*x + c)^20 - 14630*b^3*cosh(d*x + c)^18 +
1377*(48*a*b^2 + 55*b^3)*cosh(d*x + c)^16 - 4536*(112*a*b^2 + 55*b^3)*cosh(d*x + c)^14 + 11466*(128*a^2*b + 16
8*a*b^2 + 55*b^3)*cosh(d*x + c)^12 - 24948*(384*a^2*b + 280*a*b^2 + 77*b^3)*cosh(d*x + c)^10 - 17010*(384*a^2*
b + 280*a*b^2 + 77*b^3)*cosh(d*x + c)^8 + 3528*(128*a^2*b + 168*a*b^2 + 55*b^3)*cosh(d*x + c)^6 - 567*(112*a*b
^2 + 55*b^3)*cosh(d*x + c)^4 - 77*b^3 + 54*(48*a*b^2 + 55*b^3)*cosh(d*x + c)^2)*sinh(d*x + c)^2 - 7096320*(a^3
*cosh(d*x + c)^11 + 11*a^3*cosh(d*x + c)^10*sinh(d*x + c) + 55*a^3*cosh(d*x + c)^9*sinh(d*x + c)^2 + 165*a^3*c
osh(d*x + c)^8*sinh(d*x + c)^3 + 330*a^3*cosh(d*x + c)^7*sinh(d*x + c)^4 + 462*a^3*cosh(d*x + c)^6*sinh(d*x +
c)^5 + 462*a^3*cosh(d*x + c)^5*sinh(d*x + c)^6 + 330*a^3*cosh(d*x + c)^4*sinh(d*x + c)^7 + 165*a^3*cosh(d*x +
c)^3*sinh(d*x + c)^8 + 55*a^3*cosh(d*x + c)^2*sinh(d*x + c)^9 + 11*a^3*cosh(d*x + c)*sinh(d*x + c)^10 + a^3*si
nh(d*x + c)^11)*log(cosh(d*x + c) + sinh(d*x + c) + 1) + 7096320*(a^3*cosh(d*x + c)^11 + 11*a^3*cosh(d*x + c)^
10*sinh(d*x + c) + 55*a^3*cosh(d*x + c)^9*sinh(d*x + c)^2 + 165*a^3*cosh(d*x + c)^8*sinh(d*x + c)^3 + 330*a^3*
cosh(d*x + c)^7*sinh(d*x + c)^4 + 462*a^3*cosh(d*x + c)^6*sinh(d*x + c)^5 + 462*a^3*cosh(d*x + c)^5*sinh(d*x +
 c)^6 + 330*a^3*cosh(d*x + c)^4*sinh(d*x + c)^7 + 165*a^3*cosh(d*x + c)^3*sinh(d*x + c)^8 + 55*a^3*cosh(d*x +
c)^2*sinh(d*x + c)^9 + 11*a^3*cosh(d*x + c)*sinh(d*x + c)^10 + a^3*sinh(d*x + c)^11)*log(cosh(d*x + c) + sinh(
d*x + c) - 1) + 22*(315*b^3*cosh(d*x + c)^21 - 3850*b^3*cosh(d*x + c)^19 + 405*(48*a*b^2 + 55*b^3)*cosh(d*x +
c)^17 - 1512*(112*a*b^2 + 55*b^3)*cosh(d*x + c)^15 + 4410*(128*a^2*b + 168*a*b^2 + 55*b^3)*cosh(d*x + c)^13 -
11340*(384*a^2*b + 280*a*b^2 + 77*b^3)*cosh(d*x + c)^11 - 9450*(384*a^2*b + 280*a*b^2 + 77*b^3)*cosh(d*x + c)^
9 + 2520*(128*a^2*b + 168*a*b^2 + 55*b^3)*cosh(d*x + c)^7 - 567*(112*a*b^2 + 55*b^3)*cosh(d*x + c)^5 - 385*b^3
*cosh(d*x + c) + 90*(48*a*b^2 + 55*b^3)*cosh(d*x + c)^3)*sinh(d*x + c))/(d*cosh(d*x + c)^11 + 11*d*cosh(d*x +
c)^10*sinh(d*x + c) + 55*d*cosh(d*x + c)^9*sinh(d*x + c)^2 + 165*d*cosh(d*x + c)^8*sinh(d*x + c)^3 + 330*d*cos
h(d*x + c)^7*sinh(d*x + c)^4 + 462*d*cosh(d*x + c)^6*sinh(d*x + c)^5 + 462*d*cosh(d*x + c)^5*sinh(d*x + c)^6 +
 330*d*cosh(d*x + c)^4*sinh(d*x + c)^7 + 165*d*cosh(d*x + c)^3*sinh(d*x + c)^8 + 55*d*cosh(d*x + c)^2*sinh(d*x
 + c)^9 + 11*d*cosh(d*x + c)*sinh(d*x + c)^10 + d*sinh(d*x + c)^11)

________________________________________________________________________________________

Sympy [F(-1)]  time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(csch(d*x+c)*(a+b*sinh(d*x+c)**4)**3,x)

[Out]

Timed out

________________________________________________________________________________________

Giac [B]  time = 1.65024, size = 570, normalized size = 3.61 \begin{align*} -\frac{a^{3} \log \left (e^{\left (d x + c\right )} + 1\right )}{d} + \frac{a^{3} \log \left ({\left | e^{\left (d x + c\right )} - 1 \right |}\right )}{d} - \frac{{\left (7983360 \, a^{2} b e^{\left (10 \, d x + 10 \, c\right )} + 5821200 \, a b^{2} e^{\left (10 \, d x + 10 \, c\right )} + 1600830 \, b^{3} e^{\left (10 \, d x + 10 \, c\right )} - 887040 \, a^{2} b e^{\left (8 \, d x + 8 \, c\right )} - 1164240 \, a b^{2} e^{\left (8 \, d x + 8 \, c\right )} - 381150 \, b^{3} e^{\left (8 \, d x + 8 \, c\right )} + 232848 \, a b^{2} e^{\left (6 \, d x + 6 \, c\right )} + 114345 \, b^{3} e^{\left (6 \, d x + 6 \, c\right )} - 23760 \, a b^{2} e^{\left (4 \, d x + 4 \, c\right )} - 27225 \, b^{3} e^{\left (4 \, d x + 4 \, c\right )} + 4235 \, b^{3} e^{\left (2 \, d x + 2 \, c\right )} - 315 \, b^{3}\right )} e^{\left (-11 \, d x - 11 \, c\right )}}{7096320 \, d} + \frac{315 \, b^{3} d^{10} e^{\left (11 \, d x + 11 \, c\right )} - 4235 \, b^{3} d^{10} e^{\left (9 \, d x + 9 \, c\right )} + 23760 \, a b^{2} d^{10} e^{\left (7 \, d x + 7 \, c\right )} + 27225 \, b^{3} d^{10} e^{\left (7 \, d x + 7 \, c\right )} - 232848 \, a b^{2} d^{10} e^{\left (5 \, d x + 5 \, c\right )} - 114345 \, b^{3} d^{10} e^{\left (5 \, d x + 5 \, c\right )} + 887040 \, a^{2} b d^{10} e^{\left (3 \, d x + 3 \, c\right )} + 1164240 \, a b^{2} d^{10} e^{\left (3 \, d x + 3 \, c\right )} + 381150 \, b^{3} d^{10} e^{\left (3 \, d x + 3 \, c\right )} - 7983360 \, a^{2} b d^{10} e^{\left (d x + c\right )} - 5821200 \, a b^{2} d^{10} e^{\left (d x + c\right )} - 1600830 \, b^{3} d^{10} e^{\left (d x + c\right )}}{7096320 \, d^{11}} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(csch(d*x+c)*(a+b*sinh(d*x+c)^4)^3,x, algorithm="giac")

[Out]

-a^3*log(e^(d*x + c) + 1)/d + a^3*log(abs(e^(d*x + c) - 1))/d - 1/7096320*(7983360*a^2*b*e^(10*d*x + 10*c) + 5
821200*a*b^2*e^(10*d*x + 10*c) + 1600830*b^3*e^(10*d*x + 10*c) - 887040*a^2*b*e^(8*d*x + 8*c) - 1164240*a*b^2*
e^(8*d*x + 8*c) - 381150*b^3*e^(8*d*x + 8*c) + 232848*a*b^2*e^(6*d*x + 6*c) + 114345*b^3*e^(6*d*x + 6*c) - 237
60*a*b^2*e^(4*d*x + 4*c) - 27225*b^3*e^(4*d*x + 4*c) + 4235*b^3*e^(2*d*x + 2*c) - 315*b^3)*e^(-11*d*x - 11*c)/
d + 1/7096320*(315*b^3*d^10*e^(11*d*x + 11*c) - 4235*b^3*d^10*e^(9*d*x + 9*c) + 23760*a*b^2*d^10*e^(7*d*x + 7*
c) + 27225*b^3*d^10*e^(7*d*x + 7*c) - 232848*a*b^2*d^10*e^(5*d*x + 5*c) - 114345*b^3*d^10*e^(5*d*x + 5*c) + 88
7040*a^2*b*d^10*e^(3*d*x + 3*c) + 1164240*a*b^2*d^10*e^(3*d*x + 3*c) + 381150*b^3*d^10*e^(3*d*x + 3*c) - 79833
60*a^2*b*d^10*e^(d*x + c) - 5821200*a*b^2*d^10*e^(d*x + c) - 1600830*b^3*d^10*e^(d*x + c))/d^11